from machine import Pin

# 构建 pin_12 引脚对象，GPIO12输出
pin12 = Pin(12, Pin.OUT)

# 使 Pin2 输出高电平，点亮LED
pin12.value(1)
